$\forall$$A$, $B$:MsgA, $i$, $j$:Id. $\neg$$i$ $=$ $j$ $\Rightarrow$ (@$i$ $A$) $\parallel$ (@$j$ $B$)